cLV1 (2o)
id_total, 0.802229253
id_io_time, 0.0
id_global_time, 0.0
id_inclusion_check, 0.009838584
id_inclusion_check_mod_p, 0.028049886
id_groebner_time, 0.026941371
id_beautifulization, 0.204637139
id_normalforms_time, 0.0
id_gbfan_time, 0.0
id_ranking, 159.0
